大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Nonlinear Partial Differential Equations [electronic resource] : The Abel Symposium 2010

0
索取号:
作者:Holden、 Helge.、Karlsen、 Kenneth H.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Engineering and Knowledge Engineering: Theory and Practice [electronic resource] : Volume 2

0
索取号:
作者:Wu、 Yanwen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Image and Video Technology [electronic resource] : 5th Pacific Rim Symposium, PSIVT 2011, Gwangju, South Korea, November 20-23, 2011, Proceedings, Part II

0
索取号:
作者:Ho、 Yo-Sung.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings

0
索取号:
作者:Yang、 Hongseok.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Materia Medica of New and Old Homeopathic Medicines [electronic resource]

0
索取号:
作者:Riley、 David S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods for Components and Objects [electronic resource] : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

0
索取号:
作者:Aichernig、 Bernhard K.、Boer、 Frank S.、Bonsangue、 Marcello M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

SDL 2011: Integrating System and Software Modeling [electronic resource] : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

0
索取号:
作者:Ober、 Iulian.、Ober、 Ileana.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Empirical Software Engineering and Verification [electronic resource] : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

0
索取号:
作者:Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Time Delay Systems: Methods, Applications and New Trends [electronic resource]

0
索取号:
作者:Sipahi、 Rifat.、Vyhl铆dal、 Tom谩拧.、Niculescu、 Silviu-Iulian.、Pepe、 Pierdomenico.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19鈥Ⱜ 2011, Melbourne, Australia [electronic resource] : Volume 3: Computer Networks and Electronic Engineering

0
索取号:
作者:Jiang、 Liangzhong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Proceedings of the 2011, International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19鈥Ⱜ 2011, Melbourne, Australia [electronic resource] : Volume 2: Information Systems and Computer Engineering

0
索取号:
作者:Jiang、 Liangzhong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Proceedings of the 2011 International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011) November 19-20, 2011, Melbourne, Australia [electronic resource] : Volume 1: Intelligent Control and Network Communication

0
索取号:
作者:Jiang、 Liangzhong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Onboard Computers, Onboard Software and Satellite Operations [electronic resource] : An Introduction

0
索取号:
作者:Eickhoff、 Jens.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Information and Computer Security [electronic resource] : 6th International Workshop, IWSEC 2011, Tokyo, Japan, November 8-10, 2011. Proceedings

0
索取号:
作者:Iwata、 Tetsu.、Nishigaki、 Masakatsu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications [electronic resource] : 16th Iberoamerican Congress, CIARP 2011, Puc贸n, Chile, November 15-18, 2011. Proceedings

0
索取号:
作者:San Martin、 C茅sar.、Kim、 Sang-Woon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, S茫o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers

0
索取号:
作者:Simao、 Adenilso.、Morgan、 Carroll.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.